Quantitative Reliability Assessment for Safety Critical System Software
نویسندگان
چکیده
منابع مشابه
Using data flow analysis for the reliability assessment of safety-critical software systems
Reliability analysis for safety-critical software systems often needs additional expert knowledge, because of the small data-sets available. A Bayesian approach is used to develop a reliability model based on expert knowledge and small data-sets. The expert knowledge is obtained with data flow analysis. Certain variables in the program code are examined to calculate their probability of causing...
متن کاملDesign Tool Assessment for Safety-Critical Software Development
The paper presents taxonomy of criteria and procedures for evaluating software development tools used in safety-critical real-time systems. The ultimate purpose of the research is to provide a base for creation of guidelines for the tool certification process. The specific application area is airborne software and appropriate references are made to the accepted RTCA DO-178B guidelines. The soft...
متن کاملBayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software
This paper presents a new way of applying Bayesian assessment to systems, which consist of many components. Full Bayesian inference with such systems is problematic, because it is computationally hard and, far more seriously, one needs to specify a multivariate prior distribution with many counterintuitive dependencies between the probabilities of component failures. The approach taken here is ...
متن کاملTesting the Reliability of Component-Based Safety Critical Software
Testing remains a fundamentally important way to check that a software program behaves as required, but a weakness of testing is that successful testing only leads to informal quality statements. Even where quantitative methods are employed, it is not clear how the objective statements (e.g. 100% code coverage has been achieved) relate to the statements that are really useful such as “the softw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Electrical Engineering and Technology
سال: 2007
ISSN: 1975-0102
DOI: 10.5370/jeet.2007.2.3.386